Results for 'Ross Thomas Brady'

958 found
Order:
  1.  81
    Free Semantics.Ross Thomas Brady - 2010 - Journal of Philosophical Logic 39 (5):511 - 529.
    Free Semantics is based on normalized natural deduction for the weak relevant logic DW and its near neighbours. This is motivated by the fact that in the determination of validity in truth-functional semantics, natural deduction is normally used. Due to normalization, the logic is decidable and hence the semantics can also be used to construct counter-models for invalid formulae. The logic DW is motivated as an entailment logic just weaker than the logic MC of meaning containment. DW is the logic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  2.  15
    The Applied Turn in Contemporary Philosophy.Thomas Attig, Michael Bradie & Nicholas Rescher - 1983 - Bowling Green State University.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  46
    Adam Smith's Influence on James Madison.Thomas Ross - 1996 - Modern Schoolman 73 (4):283-294.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4.  9
    An Aquinas treasury: religious imagery: selections taken from the writings of St. Thomas Aquinas.Saint Thomas & Jules M. Brady - 1988 - Arlington, Tex.: Liberal Arts Press. Edited by Jules M. Brady.
  5.  16
    Faith, Reason, and Political Life Today.Michelle E. Brady, Paul A. Cantor, Thomas Darby, Henry T. Edmondson Iii, Stephen L. Gardner, Marc D. Guerra, Gregory R. Johnson, Joseph M. Knippenberg, Peter Augustine Lawler, Daniel J. Mahoney, James F. Pontuso, Paul Seaton & Ashley Woodiwiss (eds.) - 2001 - Lexington Books.
    This rich and varied collection of essays addresses some of the most fundamental human questions through the lenses of philosophy, literature, religion, politics, and theology. Peter Augustine Lawler and Dale McConkey have fashioned an interdisciplinary consideration of such perennial and enduring issues as the relationship between nature and history, nature and grace, reason and revelation, classical philosophy and Christianity, modernity and postmodernity, repentance and self-limitation, and philosophy and politics.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  46
    Defining reactivity: How several methodological decisions can affect conclusions about emotional reactivity in psychopathology.Brady D. Nelson, Stewart A. Shankman, Thomas M. Olino & Daniel N. Klein - 2011 - Cognition and Emotion 25 (8):1439-1459.
    There are many important methodological decisions that need to be made when examining emotional reactivity in psychopathology. In the present study, we examined the effects of two such decisions in an investigation of emotional reactivity in depression: (1) which (if any) comparison condition to employ; and (2) how to define change. Depressed (N = 69) and control (N = 37) participants viewed emotion-inducing film clips while subjective and facial responses were measured. Emotional reactivity was defined using no comparison condition (i.e., (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  45
    Itinerarium Italicum: the profile of the Italian renaissance in the mirror of its European transformations: dedicated to Paul Oskar Kristeller on the occasion of his 70th birthday.Paul Oskar Kristeller, Thomas Allan Brady & Heiko Augustinus Oberman (eds.) - 1975 - Leiden: Brill.
    Oberman, H. A. Quoscunque tulit foecunda vetustas.--Bouwsma, W. J. The two faces of humanism.--Gilmore, M. P. Italian reactions to Erasmian humanism.--Dresden, S. The profile of the reception of the Italian Renaissance in France.--IJsewijn, J. The coming of humanism to the Low Countries.--Hay, D. England and the humanities in the fifteenth century.--Spitz, L. W. The course of German humanism.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  81
    Gentzenizations of relevant logics with distribution.Ross T. Brady - 1996 - Journal of Symbolic Logic 61 (2):402-420.
  9.  49
    Natural deduction systems for some quantified relevant logics.Ross T. Brady - 1984 - Logique Et Analyse 27 (8):355--377.
  10.  37
    The Law of Excluded Middle and Berry’s Paradox... Finally.Ross Brady - 2024 - Australasian Journal of Logic 21 (3):100-122.
    This is the culmination of a discussion on Berry's Paradox with Graham Priest, over an extended period from 1983 to 2019, the central point being whether the Paradox can be avoided or not by removal of the Law of Excluded Middle (LEM). Priest is of the view that a form of the Paradox can be derived without the LEM, whilst Brady disputes this. We start by conceptualizing negation in the logic MC of meaning containment and introduce the LEM as (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  11. The non-triviality of dialectical set theory.Ross T. Brady - 1989 - In Graham Priest, Richard Routley & Jean Norman, Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag. pp. 437--470.
     
    Export citation  
     
    Bookmark   72 citations  
  12.  72
    The simple consistency of a set theory based on the logic ${\rm CSQ}$.Ross T. Brady - 1983 - Notre Dame Journal of Formal Logic 24 (4):431-449.
  13. “From the Prison of Slavery to the Slavery of Prison”: Angela Y. Davis’s Abolition Democracy.Brady Thomas Heiner - 2007 - Radical Philosophy Today 2007:219-227.
    One of the most radical dimensions of Davis’s critique of American democracy is her exposure of the vestiges of slavery that remain in the contemporary criminal justice system. I discuss this aspect of her critical project, its roots in Du Bois’s critique of Black Reconstruction, and the way that it informs her prison abolitionism and her two-pronged program for the formation of a genuine “abolition democracy.” I conclude by reflecting upon Davis’s reticence about abolition as a constructive enterprise and assessing (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  75
    The consistency of the axioms of abstraction and extensionality in a three-valued logic.Ross T. Brady - 1971 - Notre Dame Journal of Formal Logic 12 (4):447-453.
  15.  82
    A proposal for genetically modifying the project of “naturalizing” phenomenology.Brady Thomas Heiner & Kyle Powys Whyte - 2008 - Continental Philosophy Review 41 (2):179-193.
    In this paper, we examine Shaun Gallagher’s project of “naturalizing” phenomenology with the cognitive sciences: front-loaded phenomenology. While we think it is a productive proposal, we argue that Gallagher does not employ genetic phenomenological methods in his execution of FLP. We show that without such methods, FLP’s attempt to locate neurological correlates of conscious experience is not yet adequate. We demonstrate this by analyzing Gallagher’s critique of cognitive neuropsychologist Christopher Frith’s functional explanation of schizophrenic symptoms. In “constraining” Gallagher’s FLP program, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  88
    Guest editor’s introduction: The recorporealization of cognition in phenomenology and cognitive science.Brady Thomas Heiner - 2008 - Continental Philosophy Review 41 (2):115-126.
  17.  78
    Normalized Natural Deduction Systems for Some Relevant Logics I: The Logic DW.Ross T. Brady - 2006 - Journal of Symbolic Logic 71 (1):35 - 66.
  18.  36
    (1 other version)Letters: the Grand Competition Continues.Michael Bradie, Bob Davis, Thomas Stanley & Peter Weinrich - 1992 - Russell: The Journal of Bertrand Russell Studies 12.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  19. Some Concerns Regarding Ternary-relation Semantics and Truth-theoretic Semantics in General.Ross T. Brady - 2017 - IfCoLog Journal of Logics and Their Applications 4 (3):755--781.
    This paper deals with a collection of concerns that, over a period of time, led the author away from the Routley–Meyer semantics, and towards proof- theoretic approaches to relevant logics, and indeed to the weak relevant logic MC of meaning containment.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  20. Completeness Proofs for RM3 and BN4.Ross T. Brady - 1982 - Logique Et Analyse 25 (97):9-32.
     
    Export citation  
     
    Bookmark   15 citations  
  21.  18
    Adelaide, Australia July 5–6, 2003.Ross Brady & Ross T. Brady - 2004 - Bulletin of Symbolic Logic 10 (2).
  22.  49
    The gentzenization and decidability of RW.Ross T. Brady - 1990 - Journal of Philosophical Logic 19 (1):35 - 73.
  23. The Simple Consistency of Naive Set Theory using Metavaluations.Ross T. Brady - 2014 - Journal of Philosophical Logic 43 (2-3):261-281.
    The main aim is to extend the range of logics which solve the set-theoretic paradoxes, over and above what was achieved by earlier work in the area. In doing this, the paper also provides a link between metacomplete logics and those that solve the paradoxes, by finally establishing that all M1-metacomplete logics can be used as a basis for naive set theory. In doing so, we manage to reach logics that are very close in their axiomatization to that of the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  24.  44
    Universal Logic.Ross Brady - 2006 - CSLI Publications.
    Throughout the twentieth century, the classical logic of Frege and Russell dominated the field of formal logic. But, as Ross Brady argues, a new type of weak relevant logic may prove to be better equipped to present new solutions to persistent paradoxes. _Universal Logic _begins with an overview of classical and relevant logic and discusses the limitations of both in analyzing certain paradoxes. It is the first text to demonstrate how the main set-theoretic and semantic paradoxes can be (...)
    Direct download  
     
    Export citation  
     
    Bookmark   60 citations  
  25.  23
    In Support of Valerie Plumwood.Ross Brady - 2023 - Australasian Journal of Logic 20 (2):219-242.
    This paper offers general support for what Valerie Plumwood’s paper is trying to achieve by supporting the rejection of each of her four “false laws of logic”: exportation, illegitimate replacement, commutation (aka. permutation) and disjunctive syllogism. We start by considering her general characterizations of entailment, beginning with her stated definition of entailment as the converse of deducibility. However, this applies to a wide range of relevant logics and so is not able to be used as a criterion for deciding what (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. Simplified gentzenizations for contraction-less logics.Ross T. Brady - forthcoming - Logique Et Analyse.
     
    Export citation  
     
    Bookmark   4 citations  
  27.  71
    Metavaluations.Ross T. Brady - 2017 - Bulletin of Symbolic Logic 23 (3):296-323.
    This is a general account of metavaluations and their applications, which can be seen as an alternative to standard model-theoretic methodology. They work best for what are called metacomplete logics, which include the contraction-less relevant logics, with possible additions of Conjunctive Syllogism, & →.A→C, and the irrelevant, A→.B→A, these including the logic MC of meaning containment which is arguably a good entailment logic. Indeed, metavaluations focus on the formula-inductive properties of theorems of entailment form A→B, splintering into two types, M1- (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  28. V. 2. A continuation of the work of Richard Sylvan, Robert Meyer, Val Plumwood, and Ross Brady.Ross Brady & Contributions by Martin Bunder [ - 1982 - In Richard Sylvan & Ross Brady, Relevant logics and their rivals. Atascadero, CA: Ridgeview Pub. Co..
  29. Combining Multiple Resting-State fMRI Features during Classification: Optimized Frameworks and Their Application to Nicotine Addiction.Xiaoyu Ding, Yihong Yang, Elliot A. Stein & Thomas J. Ross - 2017 - Frontiers in Human Neuroscience 11.
  30.  65
    The use of definitions and their logical representation in paradox derivation.Ross T. Brady - 2017 - Synthese 199 (Suppl 3):527-546.
    We start by noting that the set-theoretic and semantic paradoxes are framed in terms of a definition or series of definitions. In the process of deriving paradoxes, these definitions are logically represented by a logical equivalence. We will firstly examine the role and usage of definitions in the derivation of paradoxes, both set-theoretic and semantic. We will see that this examination is important in determining how the paradoxes were created in the first place and indeed how they are to be (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  31.  44
    Semantic Decision Procedures for Some Relevant Logics.Ross Brady - 2003 - Australasian Journal of Logic 1:4-27.
    This paper proves decidability of a range of weak relevant logics using decision procedures based on the Routley-Meyer semantics. Logics are categorized as F-logics, for those proved decidable using a filtration method, and U-logics, for those proved decidable using a direct (unfiltered) method. Both of these methods are set out as reductio methods, in the style of Hughes and Cresswell. We also examine some extensions of the U-logics where the method fails and infinite sequences of worlds can be generated.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  32.  36
    Starting the Dismantling of Classical Mathematics.Ross Brady - 2018 - Australasian Journal of Logic 15 (2):280-300.
    This paper uses the relevant logic, MCQ, of meaning containment to explore mathematics without various classical theses, in particular, without the law of excluded middle.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33. Four basic logical issues.Ross Brady & Penelope Rush - 2009 - Review of Symbolic Logic 2 (3):488-508.
    Four Basic Logical Issues: The paper addresses what we see as the four major issues in logic. The overriding issue is that of the choice of logic. We start with some discussion of the preliminary issue of whether there is such a 'one true logic,' but we reserve the main discussion for the first issue of 'classical logic versus nonclassical logic.' Here, we discuss the role of meaning and truth, the relation between classical logic and classical negation, and whether and, (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  74
    Rules in relevant logic — II: Formula representation.Ross T. Brady - 1993 - Studia Logica 52 (4):565 - 585.
    This paper surveys the various forms of Deduction Theorem for a broad range of relevant logics. The logics range from the basic system B of Routley-Meyer through to the system R of relevant implication, and the forms of Deduction Theorem are characterized by the various formula representations of rules that are either unrestricted or restricted in certain ways. The formula representations cover the iterated form,A 1 .A 2 . ... .A n B, the conjunctive form,A 1&A 2 & ...A n (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  35. Reply to Priest on Berry's paradox.Ross T. Brady - 1984 - Philosophical Quarterly 34 (135):157-163.
  36.  69
    A Routley-Meyer affixing style semantics for logics containing Aristotle's Thesis.Ross T. Brady - 1989 - Studia Logica 48 (2):235-241.
    We provide a semantics for relevant logics with addition of Aristotle's Thesis, ∼(A→∼A) and also Boethius,(A→B)→∼(A→∼B). We adopt the Routley-Meyer affixing style of semantics but include in the model structures a regulatory structure for all interpretations of formulae, with a view to obtaining a lessad hoc semantics than those previously given for such logics. Soundness and completeness are proved, and in the completeness proof, a new corollary to the Priming Lemma is introduced (c.f.Relevant Logics and their Rivals I, Ridgeview, 1982).
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  37.  22
    The Number of Logical Values.Ross T. Brady - 2019 - In Can Başkent & Thomas Macaulay Ferguson, Graham Priest on Dialetheism and Paraconsistency. Cham, Switzerland: Springer Verlag. pp. 21-37.
    We argue that formal logical systems are four-valued, these four values being determined by the four deductive outcomes: A without ~A, ~A without A, neither A nor ~A, and both A and ~A. We further argue that such systems ought to be three-valued, as any contradiction, A and ~A, should be removed by reconceptualisation of the concepts captured by the system. We follow by considering suitable conditions for the removal of the third value, neither A nor ~A, yielding a classically (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  38. On the Formalization of the Law of Non-Contradiction.Ross T. Brady - 2004 - In Graham Priest, Jc Beall & Bradley P. Armour-Garb, The law of non-contradiction : new philosophical essays. New York: Oxford University Press.
     
    Export citation  
     
    Bookmark   3 citations  
  39.  25
    Machine learning classification of resting state functional connectivity predicts smoking status.Vani Pariyadath, Elliot A. Stein & Thomas J. Ross - 2014 - Frontiers in Human Neuroscience 8.
  40.  12
    Arithmetic Formulated in a Logic of Meaning Containment.Ross Brady - 2021 - Australasian Journal of Logic 18 (5):447-472.
    We assess Meyer’s formalization of arithmetic in his [21], based on the strong relevant logic R and compare this with arithmetic based on a suitable logic of meaning containment, which was developed in Brady [7]. We argue in favour of the latter as it better captures the key logical concepts of meaning and truth in arithmetic. We also contrast the two approaches to classical recapture, again favouring our approach in [7]. We then consider our previous development of Peano arithmetic (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  27
    Two remarks on: The logic of significance and context. Vol. I [Halsted, New York, 1973].Ross T. Brady - 1980 - Notre Dame Journal of Formal Logic 21 (2):263-272.
  42. (1 other version)Universal Logic.Ross Brady - 2006 - Bulletin of Symbolic Logic 13 (4):544-547.
     
    Export citation  
     
    Bookmark   83 citations  
  43. Wolfgang Capito's in-laws: The Roettels of Strasbourg.Thomas A. Brady - 2005 - Revue D'Histoire Et de Philosophie Religieuses 85 (1):43-50.
    No categories
     
    Export citation  
     
    Bookmark  
  44.  54
    Significance logics.Ross T. Brady - 1976 - Notre Dame Journal of Formal Logic 17 (2):161-183.
  45.  46
    Significance range theory.Ross T. Brady - 1980 - Notre Dame Journal of Formal Logic 21 (2):319-345.
  46.  29
    The relative consistency of the class axioms of abstraction and extensionality and the axioms of NBG in a three-valued logic.Ross T. Brady - 1972 - Notre Dame Journal of Formal Logic 13 (2):161-176.
  47.  83
    Simple gentzenizations for the formal formulae of contraction-less logics.Ross T. Brady - 1996 - Journal of Symbolic Logic 61 (4):1321-1346.
    In [1], we established Gentzenizations for a good range of relevant logics with distribution, but, in the process, we added inversion rules, which involved extra structural connectives, and also added the sentential constantt. Instead of eliminating them, we used conservative extension results to relate them back to the original logics. In [4], we eliminated the inversion rules andtand established a much simpler Gentzenization for the weak sentential relevant logicDW, and also for its quantificational extensionDWQ, but a restriction to normal formulae (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  48.  92
    Relevant implication and the case for a weaker logic.Ross T. Brady - 1996 - Journal of Philosophical Logic 25 (2):151 - 183.
    We collect together some misgivings about the logic R of relevant inplication, and then give support to a weak entailment logic $DJ^{d}$ . The misgivings centre on some recent negative results concerning R, the conceptual vacuousness of relevant implication, and the treatment of classical logic. We then rectify this situation by introducing an entailment logic based on meaning containment, rather than meaning connection, which has a better relationship with classical logic. Soundness and completeness results are proved for $DJ^{d}$ with respect (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  49. Negation in Metacomplete Relevant Logics.Ross Brady - 2008 - Logique Et Analyse 51.
     
    Export citation  
     
    Bookmark   24 citations  
  50.  76
    Relevant logics and their rivals.Richard Sylvan & Ross Brady (eds.) - 1982 - Atascadero, CA: Ridgeview Pub. Co..
    Relevant Logics and their Rivals, Volume II extends the material of the first volume in two ways.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
1 — 50 / 958